Language of mathematics - PDFSEARCH.IO - Document Search Engine

Language of mathematics
Results: 1871

#	Item
841	Brain and Language 66, 7–[removed]Article ID brln[removed], available online at http://www.idealibrary.com on Wavelet Analysis of Neuroelectric Waveforms: A Conceptual Tutorial Vincent J. Samar Add to Reading List Source URL: lep.unige.ch Language: English - Date: 2015-02-14 11:44:38 Functional analysis Integral transforms Digital signal processing Signal processing Short-time Fourier transform Time–frequency analysis Fourier analysis Continuous wavelet Discrete wavelet transform Mathematical analysis Mathematics Wavelets
842	PANAYOT BUTCHVAROV Bergmann and Wittgenstein on Generality I G Add to Reading List Source URL: www.metaphysica.de Language: English - Date: 2007-02-19 14:19:11 Mathematical logic Philosophical logic Philosophy of language Veracity Philosophers of mathematics Tractatus Logico-Philosophicus Principia Mathematica Proposition Ludwig Wittgenstein Philosophy Logic Analytic philosophy
843	The Verification Grand Challenge and Abstract Interpretation Patrick Cousot École normale supérieure, 45 rue d’Ulm[removed]Paris cedex 05, France Patrick.Cousot@ ens.fr Add to Reading List Source URL: vstte.inf.ethz.ch Language: English - Date: 2005-10-02 15:59:16 Abstract interpretation Astrée Applied mathematics Computer science Formal verification Patrick Cousot Programming language Abstraction Semantics of programming languages Formal methods Theoretical computer science Logic in computer science
844	EUJAP  VOL. 3  No. 1  2007 Original scientific paper UDk: 165 1:18 Add to Reading List Source URL: www.ffri.hr Language: English - Date: 2014-07-09 05:48:20 Formal languages Philosophy of language Logical syntax Propositional calculus Modal logic Proposition Interpretation Golden ratio Function Logic Mathematics Mathematical logic
845	HHC_CourseDescription.indd Add to Reading List Source URL: www.indiana.edu Language: English - Date: 2012-05-07 11:29:18 Philosophy of mathematics Abstraction Axiology Model theory Mathematical logic Type theory Conceptual model Formal language Modal logic Logic Mathematics Science
846	The Common Core State Standards are simply a set of written standards detailing the minimum skills students should have by the end of each grade level in reading/language arts and mathematics. The common core standards Add to Reading List Source URL: www.cornell.k12.wi.us Language: English - Date: 2014-07-28 22:36:57 Curriculum Standards-based education reform Core Knowledge Foundation Education Education reform Common Core State Standards Initiative
847	The agent programming language Meta-APL Thu Trang Doan, Natasha Alechina, and Brian Logan University of Nottingham, Nottingham NG8 1BB, UK {ttd,nza,bsl}@cs.nott.ac.uk Abstract. We describe a novel agent programming lang Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2012-05-09 09:53:52 Mathematics Homotopy theory Symbol Admissible rule Valuation
848	Microsoft Word - MCA syb0708.doc Add to Reading List Source URL: www.nistvizag.com Language: English - Date: 2012-02-29 02:28:46 Procedural programming languages Data types Discrete mathematics Master of Computer Applications C Pointer Probability distribution Algorithm Void type Computing Software engineering Programming language theory
849	Computing Technology: Created, Fallen, In Need Of Redemption? Joel C. Adams Department of Computer Science Calvin College Abstract If we accept the premise that computing technology is a part of the created order, then a Add to Reading List Source URL: www.calvin.edu Language: English - Date: 2002-08-29 14:10:31 Computation Computability Programming language Operating system Applied mathematics Science Theory of computation Lateral computing Turing Award Computer science Computing Computer
850	Logical Agents for Language and Action∗ Martin Magnusson and Patrick Doherty Department of Computer and Information Science Link¨oping University, [removed]Link¨oping, Sweden [removed],[removed] Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-23 11:35:13 Mathematics Artificial intelligence Logic in computer science Deduction Reasoning Reasoning system Fluent Magni Frame problem Automated theorem proving Science Logic

UPDATE